#
# The content of this file will be filled in with meaningful data
# when creating an archive using `git archive` or by downloading an
# archive from github, e.g. from github.com/.../archive/develop.zip
#
rev = "5b84a8da"     # abbreviated commit hash
commit = "5b84a8da71048fc888bc4240d653034394a76d32"  # commit hash
date = "2017-01-15 21:04:36 +0100"   # commit date
author = "Hartmut Goebel <h.goebel@crazy-compilers.com>"
ref_names = "HEAD -> master, tag: v3.2.1"  # incl. current branch
commit_message = """Finished release 3.2.1.
"""
